Project-Team:SECSI

Project-Team Secsi

Members

Overall Objectives

Research Program

Application Domains

Application Domains

Software and Platforms

Orchids

New Results

Partnerships and Cooperations

Dissemination

Bibliography

Inria | Raweb 2013 | Presentation of the Project-Team SECSI | SECSI Web Site


	PDF	e-Pub

previous

Home | Next next

next

Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Dominique Unruh, Tallinn, 1 month, January 2013.
Mark Ryan, Birmingham, 2 weeks, July 2013.
Achim Jung, Birmingham, 1 month, April-May 2013.

Internships

Stéphanie Delaune et David Baelde co-supervised the following master student:

Lucca Hirschi, ENS Lyon, “Réduction d'ordre partiel pour les propriétés d'équivalence”, 2013.

Jean Goubault-Larrecq supervised the following L2 student:

Jean-Philippe Lachance, U. Laval, Québec, “Evaluation automatique de la complexité de détection des signatures Orchids”, 2013.

previous

Home | Next next

next